Restriction categories II: partial map classification
نویسندگان
چکیده
An algebraic characterization of monads which are abstract partial map classi$ers is provided, without the assumption that the categories of total maps possess products. By an abstract partial map classi$er we mean a monad whose Kleisli category is a full subcategory of a partial map category wherein the induced comonad classi$es partial maps in the usual sense. A construction of the corresponding actual partial map classi$er from an abstract one is described, and conditions for an abstract partial map classi$er to be a real one are provided. The paper uses the notion of a restriction category developed in earlier work, and the characterization of these as full subcategories of partial map categories. c © 2002 Elsevier Science B.V. All rights reserved. MSC: 18B99; 18C20; 18D99
منابع مشابه
O ct 2 00 6 Restriction categories III : colimits , partial limits , and extensivity
A restriction category is an abstract formulation for a category of partial maps, defined in terms of certain specified idempotents called the restriction idempotents. All categories of partial maps are restriction categories; conversely, a restriction category is a category of partial maps if and only if the restriction idempotents split. Restriction categories facilitate reasoning about parti...
متن کاملFormalizing Restriction Categories
Restriction categories are an abstract axiomatic framework by Cockett and Lack for reasoning about (generalizations of the idea of) partiality of functions. In a restriction category, every map defines an endomap on its domain, the corresponding partial identity map. Restriction categories cover a number of examples of different flavors and are sound and complete with respect to the more synthe...
متن کاملRestriction categories III: colimits, partial limits and extensivity
A restriction category is an abstract formulation for a category of partial maps, defined in terms of certain specified idempotents called the restriction idempotents. All categories of partial maps are restriction categories; conversely, a restriction category is a category of partial maps if and only if the restriction idempotents split. Restriction categories facilitate reasoning about parti...
متن کاملRestriction categories I: categories of partial maps
Given a category with a stable system of monics, one can form the corresponding category of partial maps. To each map in this category there is, on the domain of the map, an associated idempotent, which measures the degree of partiality. This structure is captured abstractly by the notion of a restriction category, in which every arrow is required to have such an associated idempotent. Categori...
متن کاملUniformities and covering properties for partial frames (II)
This paper is a continuation of [Uniformities and covering properties for partial frames (I)], in which we make use of the notion of a partial frame, which is a meet-semilattice in which certain designated subsets are required to have joins, and finite meets distribute over these. After presenting there our axiomatization of partial frames, which we call $sels$-frames, we added structure, in th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Theor. Comput. Sci.
دوره 294 شماره
صفحات -
تاریخ انتشار 2003